54e91c229fb7b346f7d42056e320f837eb25bb28,src/com/itmill/toolkit/terminal/gwt/client/ui/ISplitPanel.java,ISplitPanel,onMouseDown,#Event#,260

Before Change


	}

	public void onMouseDown(Event event) {
		if (DOM.compare(DOM.eventGetTarget(event), splitter)) {
			resizing = true;
			DOM.setCapture(getElement());
			origX = DOM.getElementPropertyInt(splitter, "offsetLeft");

After Change



	public void onMouseDown(Event event) {
		Element trg = DOM.eventGetTarget(event);
		if (DOM.compare(trg, splitter)
				|| DOM.compare(trg, DOM.getChild(splitter, 0))) {
			resizing = true;
			DOM.setCapture(getElement());
			origX = DOM.getElementPropertyInt(splitter, "offsetLeft");